941. Topics in mathematical system theory
پدیدآورنده: Kalman, Rudolf Emil, 0391-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، System analysis,، Machine theory,، Algebras, Linear
رده :
QA
402
.
K32
942. Topics in the theory of computation
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computational complexity ; Congresses. ; Machine theory ; Congresses. ; Computer science ; Mathematics ; Congresses. ;
943. Topics in the theory of computation :
پدیدآورنده: edited by Marek Karpinski and Jan van Leeuwen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational complexity-- Congresses,Computer science-- Mathematics-- Congresses,Machine theory-- Congresses
رده :
QA267
.
I56
1983
944. Topics in the theory of computation
پدیدآورنده: / edited by Marek Karpinski and Jan van Leeuwen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computational complexity--Congresses,Machine theory--Congresses,Electronic data processing--Mathematics--Congresses
رده :
QA
,
267
,.
I56
,
1983
945. #Topics in the theory of computation
پدیدآورنده: #edited by Marek Karpinski and Jan van Leeuwen
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Computational complexity- Congresses ،Machine theory- Congresses ،Computer science- Mathematics- Congresses
رده :
#
QA
،#.
I56
،#
1985
946. Toward deep neural networks :
پدیدآورنده: Yunong Zhang, Dechao Chen, Chengxu Ye
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Neural networks (Computer science),BUSINESS & ECONOMICS / Statistics,COMPUTERS / General,COMPUTERS / Machine Theory,Neural networks (Computer science)
رده :
QA76
.
87
.
Z47537
2019eb
947. Trace theory for automatic hierarchical verification of speed-independent circuits
پدیدآورنده: David L. Dill.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Integrated circuits -- Very large scale integration.,Sequential machine theory.,Switching circuits.
رده :
TK7868
.
S9
D385
9999
948. Tree automata and languages
پدیدآورنده: edited by Maurice Nivat, Andreas Podelski
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Sequential machine theory,، Trees )Graph theory(,، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
T74
1992
949. Word proccessing in groups
پدیدآورنده: / David B.A. Epstein, with James W.Cannon...{et al.],Epstein
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Sequential machine theory,Group theory,Formal languages
رده :
QA
267
.
5
.
S4E67
1992
950. Word processing in groups
پدیدآورنده: Epstein, David B. A.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Sequential machine theory,، Group theory,، Formal languages
رده :
QA
267
.
5
.
S4E6
951. Words, Semigroups & Transductions :
پدیدآورنده: editors, Masami Ito, Gheorghe Păun, Sheng Yu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal languages.,Group theory.,Machine theory.,Formal languages.,Group theory.,Machine theory.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
رده :
QA267
.
3
.
W67
2001eb
952. Words, languages, and combinatorics III
پدیدآورنده: editors, Masami Ito, Teruo Imaoka.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal languages, Congresses.,Machine theory, Congresses.,Semigroups, Congresses.
953. agent systems :-Formation control of multi
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Multiagent systems. ; Formation control (Machine theory) ; Graph theory. ; Rigidity (Geometry) ; Automatic control ; Mathematical models. ; Robotics ; Mathematical models. ;
954. century of automata theory-A half
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Machine theory ; Congresses. ;
955. concurrency theory-CONCUR 2007
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Parallel processing (Electronic computers) ; Machine theory. ;
956. Discrete structures and automata theory
پدیدآورنده: Dube, Rakesh
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Computer science -- Mathematics,، Machine theory
رده :
QA
76
.
9
.
M35
D38
2006
957. introduction to language and the theory of computation
پدیدآورنده: John C.Martin
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: sequential machine theory,computable functions
رده :
QA
267
.
5
.
S4M29
1996
958. Introduction to languages and the theory of computation
پدیدآورنده : John C. Martin
موضوع : Sequential machine theory,Computable functions
۶ نسخه از این کتاب در ۵ کتابخانه موجود است.
959. Introduction to the theory of computation
پدیدآورنده : Michael Sipser
موضوع : Machine theory,Computational complexity
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
960. state techniques :-Finite
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Sequential machine theory. ;
